منابع مشابه
High-Order Numerical Integration over Discrete Surfaces
We consider the problem of numerical integration of a function over a discrete surface to high-order accuracy. Surface integration is a common operation in numerical computations for scientific and engineering problems. Integration over discrete surfaces (such as a surface triangulation) is typically limited to only first or second-order accuracy due to the piecewise linear approximations of th...
متن کاملVerified High-order Integration of Daes and Higher-order Odes
Within the framework of Taylor models, no fundamental difference exists between the antiderivation and the more standard elementary operations. Indeed, a Taylor model for the antiderivative of another Taylor model is straightforward to compute and trivially satisfies inclusion monotonicity. This observation leads to the possibility of treating implicit ODEs and, more importantly, DAEs within a ...
متن کاملPostprocessed Integrators for the High Order Integration of Ergodic SDEs
The concept of effective order is a popular methodology in the deterministic literature for the construction of efficient and accurate integrators for differential equations over long times. The idea is to enhance the accuracy of a numerical method by using an appropriate change of variables called the processor. We show that this technique can be extended to the stochastic context for the cons...
متن کاملIntegration of Decision Procedures into High - Order Interactive
INTEGRATION OF DECISION PROCEDURES INTO HIGH-ORDER INTERACTIVE PROVERS by Yegor Bryukhov Adviser: Professor Sergei Artemov An efficient proof assistant uses a wide range of decision procedures, including automatic verification of validity of arithmetical formulas with linear terms. Since the final product of a proof assistant is a formalized and verified proof, it prompts an additional task of ...
متن کاملSensory Cue Integration with High-Order Deep Neural Networks
Humans can easily capture real world concepts from multi-modal signals by constructing joint representations of these signals. The joint representations may contain abstract information of multiple modalities and relationships across the modalities. Contrary to humans, it is not easy to obtain joint representations reflecting the structure of multimodal data with machine learning algorithms, es...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Microbiology
سال: 2017
ISSN: 1740-1526,1740-1534
DOI: 10.1038/nrmicro.2017.3